Uploads
Contact
/
Login
Upload
Search Results for 'Coquandandhuber[2]usesaparticularcategoryofpresheaves.weshowthatthispresheafcategoryisequivalenttoacategoryofsetsequippedwithanactionof'
Nominal Presentation of Cubical Sets Models of Type Theory
tatiana-dople